An Easy Test for Congruence Modularity
نویسندگان
چکیده
We describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a nontrivial congruence identity. Our results yield slight strengthenings of Day’s Theorem and Gumm’s Theorem, which each characterize congruence modularity.
منابع مشابه
NOTES ON CONGRUENCE n-PERMUTABILITY AND SEMIDISTRIBUTIVITY
In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...
متن کاملAll congruence lattice identities implying modularity have
For an arbitrary lattice identity implying modularity (or at least congruence modularity) a Mal’tsev condition is given such that the identity holds in congruence lattices of algebras of a variety if and only if the variety satisfies the corresponding Mal’tsev condition. This research was partially supported by the NFSR of Hungary (OTKA), grant no. T034137 and T026243, and also by the Hungarian...
متن کاملReflexive Relations and Mal’tsev Conditions for Congruence Lattice Identities in Modular Varieties
Based on a property of tolerance relations, it was proved in [3] that for an arbitrary lattice identity implying modularity (or at least congruence modularity) there exists a Mal’tsev condition such that the identity holds in congruence lattices of algebras of a variety if and only if the variety satisfies the corresponding Mal’tsev condition. However, the Mal’tsev condition constructed in [3] ...
متن کاملOn the Complexity of Some Maltsev Conditions
This paper studies the complexity of determining if a finite algebra generates a variety that satisfies various Maltsev conditions, such as congruence distributivity or modularity. For idempotent algebras we show that there are polynomial time algorithms to test for these conditions but that in general these problems are EXPTIME complete. In addition, we provide sharp bounds in terms of the siz...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کامل